#include<stdio.h>

int main()
{
	int i,sum=0,min=0,max=0;
	float ave;
	int score[9];
	for(i=0;i<9;i++)
	   scanf("%d",&score[i]);
	min=score[0];
	max=score[0];
	for(i=0;i<9;i++)
	{
		sum+=score[i];
		if(score[i]>max)   max=score[i];
		if(score[i]<min)   min=score[i];
	}
	ave=(sum-max-min)/7;
	printf("%.3f",ave);
    return 0;
}

